Nuprl Definition : preorder 13,42
compound
Preorder(T;x,y.R(x;y)) == Refl(T;x,y.R(x;y)) & Trans(T;x,y.R(x;y)) 
latex

Uprel 1, rel 1
Wellformedness Lemmaspreorder wf, preorder wf
DefinitionsP & Q, Refl(T;x,y.E(x;y)), Trans(T;x,y.E(x;y))
FDL editor aliasespreorder

origin